home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / sys / amiga / programmer / 7636 / text0000.txt < prev   
Encoding:
Text File  |  1996-08-05  |  1.8 KB  |  55 lines
  1.  
  2. >
  3. >sorry if i'm being thick here but i havn't seen any proofs here, if you have the
  4. >proof please show it, it's easy to say something is impossible more difficult to
  5. >prove it though.
  6.  
  7. You have already been told that the proof exists.
  8.  
  9. Just go to a library and look it up.
  10. It is a bit difficult to include mathematical symbols
  11. in ASCII mail, and one simply doesn't have the time
  12. to type a proof in, though I don't think it is very long.
  13.  
  14. Guys, tell him which book it can be found in!
  15.  
  16.  
  17.  
  18.  
  19. >me paranoid, don't make me laugh and i suggest that if you have nothing useful to logically 
  20. >contradict my claim then don't reply anymore, i haven't the time nor the energy to try to explain
  21. >something which is obviously beyond your reach of understanding this, well don't feel so bad as it
  22. >happens to the best of us sometimes including me. again, theories aren't proofs, don't confuse the
  23. >2, just becuase a theory works in some practical cases doesn't mean it'll work every time.
  24. It is not a theory.
  25.  
  26. It is a THEOREM. Which means it has been proved!
  27.  
  28. Like the sampling THEOREM!
  29.  
  30.  
  31. >your inability
  32. >to investigate and simply rely on predetermined theories seems to overshadow your sense of logical
  33. >thinking,
  34.  
  35. Well, you can try to investigate as much as you like.
  36. In the end, your static translator might even work with
  37. a couple of programs, if it can cope with enough cases.
  38. I am just worried that you might have died before
  39. you manage to get it work with something more complex than
  40. printf "Hello World". 
  41. And even in a static translator, you will HAVE to
  42. dynamically allocate pseudo-memory to your
  43. translated programs, so it just defeats the whole point,
  44. doesn't it?
  45.  
  46.  
  47.  
  48. PS.
  49. I would have told you about the paper that contains the
  50. proof you want myself, but I can't recall it.
  51. Just look  for it yourself.
  52.  
  53.  
  54.  
  55.